Toward Synthesizing Executable Models in Biology
نویسندگان
چکیده
منابع مشابه
Toward Synthesizing Executable Models in Biology
Over the last decade, executable models of biological behaviors have repeatedly provided new scientific discoveries, uncovered novel insights, and directed new experimental avenues. These models are computer programs whose execution mechanistically simulates aspects of the cell's behaviors. If the observed behavior of the program agrees with the observed biological behavior, then the program ex...
متن کاملSynthesizing Executable Models of Object Oriented Architectures
The United States Department of Defense (DoD) has mandated the development of Command, Control, Communications Computers, Intelligence, Surveillance, and Reconnaissance (C4ISR) Architectures to support the acquisition of systems that are interoperable and will meet the needs of military coalitions. This paper provides a general description of an architecting process based on the object oriented...
متن کاملSynthesizing Executable Programs
Automatic generation of correct software from requirements has long been a “holy grail” for system and software development. According to this vision, instead of implementing a system and then working hard to apply testing and verification methods to prove system correctness, a system is rather built correctly by construction. This problem, referred to as synthesis, is undecidable in the genera...
متن کاملToward Executable Scientific Publications
Reproducibility of experiments is considered as one of the main principles of the scientific method. Recent developments in data and computation intensive science, i.e. e-Science, and state of the art in Cloud computing provide the necessary components to preserve data sets and re-run code and software that create research data. The Executable Paper (EP) concept uses state of the art technology...
متن کاملLarge-scale executable biology using rapid integration of computational models
We plan to develop a systematic framework for assembling largescale computational biological models by reusing and combining already existing modelling efforts. Our goal is to build a software platform that will compile large-scale biomodels through successive integrations of smaller modules. The modules can be arbitrary executable programs accompanied by a set of (I/O) interface variables; the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers in Bioengineering and Biotechnology
سال: 2014
ISSN: 2296-4185
DOI: 10.3389/fbioe.2014.00075